#
# Copyright (C) 2015 Google, Inc
#
# SPDX-License-Identifier:	GPL-2.0+
#

obj-y += mv_gal.o
obj-y += mv_hypercalls.o
obj-y += mv_svc_hypercalls.o
obj-y += verify.o
obj-y += security/
